#include <i386/debug.h>
#include <i386/config.h>
#include <i386/hw.h>

void debug_putchar(char ch)
{
#ifdef I386_CONSOLE_HW
    console_putchar(ch);
#endif /* I386_CONSOLE_HW */

#ifdef I386_SERIAL_HW
    serial_putchar(ch);
#endif /* I386_SERIAL_HW */
}

void init_arch_debug()
{
#ifdef I386_CONSOLE_HW
    // 初始化控制台
	init_console_hw();
#endif /* I386_CONSOLE_HW */

#ifdef I386_SERIAL_HW
    // 初始化串口
    init_serial_hw();
#endif /* I386_SERIAL_HW */
}
